// options_messaging.js
// Send messages to the background page 
// (processed by background/options_messaging.js) to retrieve options.

function getOptions(names, responseCallback)
{
	(chrome.extension.sendMessage || chrome.extension.sendRequest)(
		{name: "getOptions", optionNames: names}, responseCallback);
}

